Büning, G. Kleine: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Pune, India (2012.12.4-2012.12.7)] 2012 12th International Conference on Hybrid Intelligent Systems (HIS) - Adaptive function approximation in reinforcement learning with an interpolating growing neural gas

Baumann, Michael, Buning, Hans Kleine

Year:

2012

Language:

english

File:

PDF, 532 KB

english, 2012

2

[IEEE 2011 Tenth International Conference on Machine Learning and Applications (ICMLA) - Honolulu, HI, USA (2011.12.18-2011.12.21)] 2011 10th International Conference on Machine Learning and Applications and Workshops - State Aggregation by Growing Neural Gas for Reinforcement Learning in Continuous State Spaces

Baumann, Michael, Buning, Hans Kleine

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

3

Learning Boolean specifications

Bubeck, U., Kleine Büning, H.

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 698 KB

english, 2015

4

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 756 KB

english, 1992

5

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 870 KB

english, 1992

6

[IEEE 2017 7th International Electric Drives Production Conference (EDPC) - Würzburg (2017.12.5-2017.12.6)] 2017 7th International Electric Drives Production Conference (EDPC) - Experimental engineering for electric drive production planning

Kampker, Achim, Kreiskother, Kai, Buning, Max Kleine

Year:

2017

Language:

english

File:

PDF, 332 KB

english, 2017

7

Finding read-once resolution refutations in systems of 2CNF clauses

Büning, Hans Kleine, Wojciechowski, Piotr, Subramani, K.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 426 KB

english, 2018

8

[IEEE 2018 8th International Electric Drives Production Conference (EDPC) - Schweinfurt, Germany (2018.12.4-2018.12.5)] 2018 8th International Electric Drives Production Conference (EDPC) - Ex-Ante Process-FMEA for Hairpin Stator Production by Early Prototypical Production Concepts

Kampker, Achim, Treichel, Patrick, Kreiskother, Kai D., Krebs, Maximilian, Buning, Max Kleine

Year:

2018

Language:

english

File:

PDF, 34 KB

english, 2018

9

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

Egon Börger, Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 684 KB

english, 1980

10

Note on the E-E Problem

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1982

Language:

english

File:

PDF, 364 KB

english, 1982

11

DURCH SYNTAKTISCHE REKURSION DEFINIERTE KLASSEN

Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1983

Language:

german

File:

PDF, 377 KB

german, 1983

12

First-Order Formulas in Conjunctive Quantificational Form

Hans Kleine Büning, Theodor Lettmann

Journal:

Mathematical Logic Quarterly

Year:

1988

Language:

english

File:

PDF, 768 KB

english, 1988

13

Existence of simple propositional formulas

Hans Kleine Büning

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 522 KB

english, 1990

14

Inconsistency of production systems

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen

Journal:

Data & Knowledge Engineering

Year:

1989

Language:

english

File:

PDF, 1.21 MB

english, 1989

15

The reachability problem for Petri nets and decision problems for Skolem arithmetic

Egon Börger, Hans Kleine Büning

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.41 MB

english, 1980

16

Projections of vector addition system reachability sets are semilinear

Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 861 KB

english, 1989

17

Models and quantifier elimination for quantified Horn formulas

Uwe Bubeck, Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

18

A new 3-CNF transformation by parallel-serial graphs

Uwe Bubeck, Hans Kleine Büning

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 151 KB

english, 2009

19

Computational complexity of quantified Boolean formulas with fixed maximal deficiency

Hans Kleine Büning, Xishun Zhao

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 687 KB

english, 2008

20

Polynomial time algorithms for computing a representation for minimal unsatisfiable formulas with fixed deficiency

Hans Kleine Büning, Xishun Zhao

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 72 KB

english, 2002

21

On subclasses of minimal unsatisfiable formulas

Hans Kleine Büning

Journal:

Discrete Applied Mathematics

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

22

On the structure of some classes of minimal unsatisfiable formulas

Hans Kleine Büning, Xishun Zhao

Journal:

Discrete Applied Mathematics

Year:

2003

Language:

english

File:

PDF, 262 KB

english, 2003

23

Resolution remains hard under equivalence

Hans Kleine Büning, Theodor Lettmann

Journal:

Discrete Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 97 KB

english, 1999

24

Satisfiable Formulas Closed Under Replacement

Hans Kleine Büning, Zhao Xishun

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 598 KB

2001

25

Equivalence of propositional Prolog programs

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen

Journal:

Journal of Automated Reasoning

Year:

1990

Language:

english

File:

PDF, 828 KB

english, 1990

26

Universal asynchronous iterative arrays of Mealy automata

Hans Kleine Büning, Lutz Priese

Journal:

Acta Informatica

Year:

1980

Language:

english

File:

PDF, 696 KB

english, 1980

27

Some undecidable theories with monadic predicates and without equality

Hans Kleine Büning

Journal:

Archive for Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 566 KB

english, 1981

28

A classification of an iterative hierarchy

Hans Kleine Büning

Journal:

Archive for Mathematical Logic

Year:

1983

Language:

english

File:

PDF, 418 KB

english, 1983

29

On resolution with short clauses

Michael Buro, Hans Kleine Büning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1996

Language:

english

File:

PDF, 898 KB

english, 1996

30

A slow gravity compensated atom laser

G. Kleine Büning, J. Will, W. Ertmer, C. Klempt, J. Arlt

Journal:

Applied Physics B: Lasers and Optics

Year:

2010

Language:

english

File:

PDF, 643 KB

english, 2010

31

The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas

Hans Kleine Büning, Daoyun Xu

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

32

Extension and Equivalence Problems for Clause Minimal Formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 120 KB

english, 2005

33

The complexity of homomorphisms and renamings for minimal unsatisfiable formulas

Hans Kleine Büning, Daoyun Xu

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

34

Extension and equivalence problems for clause minimal formulae

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 131 KB

english, 2005

35

Boolean Functions as Models for Quantified Boolean Formulas

Hans Kleine Büning, K. Subramani, Xishun Zhao

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 479 KB

english, 2007

36

Direct Model Checking Matrix Algorithm

Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang

Journal:

Journal of Computer Science and Technology

Year:

2006

File:

PDF, 324 KB

2006

37

An upper bound for the circuit complexity of existentially quantified Boolean formulas

H. Kleine Büning, A. Remshagen

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 311 KB

english, 2010

38

Anti-emetic prophylaxis with oral tropisetron and/or dexamethasone

L. H. J. Eberhart, E. Kleine Büning, B. Folz, D. M. Maybauer, M. Kästner, M. Kalder, T. Koch, P. Kranke, H. Wulf

Journal:

European Journal of Clinical Investigation

Year:

2006

Language:

english

File:

PDF, 252 KB

english, 2006

39

Cannabinoid type 1 receptor blockade induces transdifferentiation towards a brown fat phenotype in white adipocytes

N. Perwitz, J. Wenzel, I. Wagner, J. Büning, M. Drenckhan, K. Zarse, M. Ristow, W. Lilienthal, H. Lehnert, J. Klein

Journal:

Diabetes, Obesity and Metabolism

Year:

2010

Language:

english

File:

PDF, 632 KB

english, 2010

40

The Complexity of Read-Once Resolution

Hans Kleine Büning, Xishun Zhao

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2002

Language:

english

File:

PDF, 140 KB

english, 2002

41

An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF

Gennady Davydov, Inna Davydova, Hans Kleine Büning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 127 KB

english, 1998

42

Optimizing propositional calculus formulas with regard to questions of deducibility

Hans Kleine Büning, Ulrich Löwen

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 1.48 MB

english, 1989

43

Extended Coherence Time on the Clock Transition of Optically Trapped Rubidium

Kleine Büning, G., Will, J., Ertmer, W., Rasel, E., Arlt, J., Klempt, C., Ramirez-Martinez, F., Piéchon, F., Rosenbusch, P.

Journal:

Physical Review Letters

Year:

2011

Language:

english

File:

PDF, 1.40 MB

english, 2011

44

[Lecture Notes in Computer Science] Computer Science Logic Volume 702 || Comparative transition system semantics

Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M.

Year:

1993

Language:

english

File:

PDF, 926 KB

english, 1993

45

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Coordination in Large Multiagent Reinforcement Learning Problems

Kemmerich, Thomas, Buning, Hans Kleine

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

46

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || On transitive closure logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 898 KB

english, 1992

47

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2008 Volume 4996 || Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms

Kleine Büning, Hans, Zhao, Xishun

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

48

Miscibility in PMMA/poly(vinylidene fluoride) blends, studied by fluorine-19-enhanced carbon 13 CPMAS NMR

Klein Douwel, C. H., Maas, W. E. J. R., Veeman, W. S., Werumeus Buning, G. H., Vankan, J. M. J.

Journal:

Year:

1990

Language:

english

File:

PDF, 873 KB

english, 1990

49

[Lecture Notes in Computer Science] Computer Science Logic Volume 702 || A self-interpreter of lambda calculus having a normal form

Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M. M.

Year:

1993

Language:

english

File:

PDF, 826 KB

english, 1993

50

[Lecture Notes in Computer Science] CSL '87 Volume 329 || On functions computable in nondeterministic polynomial time: Some characterizations

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1988

Language:

english

File:

PDF, 984 KB

english, 1988